carry logic

进位逻辑